Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.comยท12h
๐Ÿ‘จโ€๐Ÿ’ปSoftware development practices
Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning
arxiv.orgยท19h
๐Ÿ›ก๏ธAI Security
Enhancing Clip Attach Vision Accuracy In Semiconductor Manufacturing
semiengineering.comยท16h
๐Ÿ”ฌChip Fabrication
Analysis of the New Wave of Python Type Checkers
pydevtools.comยท20h
๐Ÿ’ปProgramming languages
๐ŸŽฒ Encrypted container
0ut3r.spaceยท7h
๐Ÿ”Hardware Security
.NET Feature Spotlight: User-Defined Implicit Type Conversion
spin.atomicobject.comยท11h
๐Ÿ’ปProgramming languages
Managing dependency graph in a large codebase
tweag.ioยท23h
๐Ÿ—๏ธBuild Systems
Solving Impossible Problems
aha.ioยท6hยท
Discuss: Hacker News
๐Ÿ› ๏ธBuild Optimization
DerivationBuilder, extracting Nix's sandboxing logic for library use (nixcon2025)
cdn.media.ccc.deยท18h
๐Ÿ”งDeveloper tools
Python 3.14.0rc3 is go!
pythoninsider.blogspot.comยท11hยท
Discuss: Lobsters
๐Ÿ”“Open Source Software
here's why I bought an STM32 development board
willofdaedalus.bearblog.devยท3h
โš™๏ธMechanical Sympathy
Carbon Copy No.8: Classes Part II
github.comยท16hยท
Discuss: Hacker News
๐Ÿฆ€Rust Compiler Internals
The Kaggle Grandmasters Playbook: 7 Battle-Tested Modeling Techniques for Tabular Data
developer.nvidia.comยท23h
๐Ÿ“ŠModel Serving Economics
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.orgยท6hยท
Discuss: Hacker News
๐Ÿ•ณLLM Vulnerabilities
SWE-Bench Failures: When Coding Agents Spiral into 693 Lines of Hallucinations
surgehq.aiยท2hยท
Discuss: Hacker News
๐Ÿช„Prompt Engineering
Obscure Emacs package appreciation: backup-walker
sachachua.comยท10h
๐Ÿ“ŸTerminals
I open-sourced a text2SQL RAG for all your databases and local models
reddit.comยท7hยท
Discuss: r/LocalLLaMA
๐Ÿ‘จโ€๐Ÿ’ปAI Coding
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.ioยท6hยท
Discuss: Hacker News
๐Ÿช„Prompt Engineering
Controlling program flow with capabilities in Scala
nrinaudo.github.ioยท13hยท
๐ŸŽญRust Macros
Simulating a Machine from the 80s
rmazur.ioยท3hยท
Discuss: Hacker News
๐Ÿ“ŸTerminals